161. Advances in Database Technology - EDBT '94 :
پدیدآورنده: edited by Matthias Jarke, Janis Bubenko, Keith Jeffery.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Data structures (Computer science),Programming languages (Electronic computers)
رده :
QA76
.
9
.
D3
E358
1994
162. Advances in computer-aided manufacture : proceedings of the 3rd International IFIP/IFAC Conference on Programming Languages for Machine Tools, PROLAMAT 76, Stirling, Scotland, 15-18 June, 1976
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine-tools-- Numerical control-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
TJ
1189
.
I56
1976
163. Advances in computer science--ASIAN 2004 : higher-level decision making : 9 th Asian Computing Science Conference, dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday, Chiang Mai, Thailand, December 8-10, 2004 : proceedings
پدیدآورنده: Michael J. Maher )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science,Congresses ، Programming languages )Electronic computers(,Congresses ، Electronic data processing
رده :
QA
76
.
L28
Vol
.
3321
164. Advances in computing science--ASIAN 2003
پدیدآورنده: / Vijay A. Saraswat, ed
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science--Congresses,Programming languages (Electronic computers)--Congresses,Electronic data processing--Congresses
رده :
QA
,
75
.
5
,.
A735
,
2003
165. Advances in computing science--ASIAN 2003 : programming languages and distributed computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003 : proceedings
پدیدآورنده: Vijay A. Saraswat, )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science,Congresses ، Programming languages )Electronic computers(,Congresses ، Electronic data processing
رده :
QA
76
.
L28
Vol
.
2896
166. Advances in programming and non-numerical computation
پدیدآورنده: Fox, Leslie
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming )Electronic computers(,، Electronic data processing
رده :
QA
76
.
F64
1966
167. Aimeriez-vous comprendre 1,informatique
پدیدآورنده: / Robin Bradbeer, Peter De Rono, Peter Laure,Bradbeer
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Computers,Programming (Electronic computers)
رده :
QA
76
.
B7
168. Algebraic Informatics
پدیدآورنده: \ Andreas Maletti (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Algebra -- Data processing -- Congresses.,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار ,زبانهای برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,جبر -- داده‌پردازی -- کنگره ها
رده :
QA
76
.
76
.
A55
2015
E-Book
,
169. Algebraic approaches to program semantics
پدیدآورنده: / Ernest G. Manes, Michael A. Arbib
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers) -- Semantics,Algebra
رده :
QA
76
.
7
.
M34
1986
170. Algebraic approaches to program semantics
پدیدآورنده: Manes, Ernest G.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Semantics,، Algebra
رده :
QA
76
.
7
.
M34
1986
171. Algebraic approaches to program semantics
پدیدآورنده: Ernest G. Manes, Michael A. Arbib
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers(,، Algebra
رده :
QA
76
.
7
.
M34
1986
172. Algebraic informatics :
پدیدآورنده: Miroslav Ćirić, Manfred Droste, Jean-Éric Pin (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra-- Data processing, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Algebra-- Data processing.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
7
173. Algebraic informatics :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Programming languages (Electronic computers) ; Semantics ; Congresses. ;
174. Algol
پدیدآورنده: Algol
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، ALGOL )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
73
.
A24
I57
175. Algol 60 compilation and assessment
پدیدآورنده: Wichmann, Brian A.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Programming (Electronic computers)
رده :
001
W635a
176. Algol in brief:a short,practical guide to computer programming in
پدیدآورنده: RACTLIFFE,J F
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ALGOL )COMPUTER PROGRAM LANGUAGE( , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
5
.
R278
177. Algorithmic language and program development
پدیدآورنده: F.L. Bauer, H. Wossner; in coll. with H. Partsch and P. Pepper
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer programming,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B39
1982
178. Algorithmic languages and calculi: IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 Feb. 1997, Alsace, France
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer programming-- Congresses,، Programming languages )Electronic computers(-- Congresses,، Computer algorithms-- Congresses
رده :
QA
76
.
6
.
I1775
1997
179. Algorithmic mehtods for artificial intelligence
پدیدآورنده: Michael Griffiths and Carol Palissier
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع: Artificial intelligence - Data processing,Programming (Electronic computers)
رده :
Q
,
336
,.
G7A4
,
1987
180. Algorithmic methods for artifical intelligence
پدیدآورنده: Griffiths, Michael
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Artificial intelligence- Dataprocessing ► Programming (Electronic computers)
رده :
006
8551
